Dieses Untermenü besteht aus zwei Punkten. Einmal dem <#262#>load file again<#262#>, das das aktuelle File neu einliest und wieder genau an die selbe Stelle springt, an der man vorher war. Zum anderen der Punkt <#263#>load new file<#263#>. Dieser ruft einen File-Requester auf, mit dem man ein neues DVI-File auswählen kann.